Toward Self-Stabilizing Operating Systems

The robustness of an operating system is, in some cases, more important than its performance [4, 3]. The experience with existing operating systems, and in fact with every large on-going software package, is that it almost has its own independent behavior. The behavior is tuned up and modified by system administrators that constantly and continuously monitor it. The system is usually complicated to monitor. The system administrators use human behavior and character terms, as if the system is an entity with its own will, to refer to its input output scenarios. The importance of a design that is based on well understood theoretical paradigms, and give us control over the resulting system cannot be exaggerated. In particular in the case of the operating system, robustness is a must, as the operating system forms a basic infrastructure in almost every computing system.